Substructural Observed Communication Semantics
نویسندگان
چکیده
منابع مشابه
Observed Communication Semantics for Classical Processes
Classical Linear Logic (CLL) has long inspired readings of its proofs as communicating processes. Wadler’s CP calculus is one of these readings. Wadler gave CP an operational semantics by selecting a subset of the cut-elimination rules of CLL to use as reduction rules. This semantics has an appealing close connection to the logic, but does not resolve the status of the other cut-elimination rul...
متن کاملSubstructural hippocampal glucose metabolism observed on PET/MRI.
UNLABELLED The hippocampus is one of the best-known neural structures in the brain and has been of interest in observing the substructures and their metabolic functions. However, it has been difficult to distinguish its substructures and functions in vivo because of its small size. METHODS (18)F-FDG PET and high-resolution MRI of the hippocampus were performed on 5 healthy subjects using a PE...
متن کاملLogic for Two: The Semantics of Distributive Substructural Logics
This is an account of the semantics of a family of logics whose paradigm member is the relevant logic R of Anderson and Belnap. The formal semantic theory is well worn, having been discussed in the literature of such logics for over a quarter of a century. What is new here is the explication of that formal machinery in a way intended to make sense of it for those who have claimed it to be esote...
متن کاملA Constructive Approach to the Resource Semantics of Substructural Logics
We propose a constructive approach to the resource semantics of substructural logics via proof-preserving translations into a fragment of focused first-order intuitionistic logic with a preorder. Using these translations, we can obtain uniform proofs of cut admissibility, identity expansion, and the completeness of focusing for a variety of logics. We illustrate our approach on linear, ordered,...
متن کاملSubstructural Operational Semantics and Linear Destination-Passing Style (Invited Talk)
We introduce substructural operational semantics (SSOS), a presentation form for the semantics of programming languages. It combines ideas from structural operational semantics and type theories based on substructural logics (such as linear logic) in order to obtain a rich, uniform, and modular framework. We illustrate SSOS with a sequence of specifications, starting from a simple functional la...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Proceedings in Theoretical Computer Science
سال: 2020
ISSN: 2075-2180
DOI: 10.4204/eptcs.322.7